reentrant monitor |